YES 0.457
↳ HASKELL
↳ IFR
((unless :: Monad a => Bool -> a () -> a ()) :: Monad a => Bool -> a () -> a ()) |
import qualified Maybe import qualified Prelude |
|||||
unless :: Monad a => Bool -> a () -> a ()
|
import qualified Monad import qualified Prelude |
if p then return () else s
unless0 s True = return () unless0 s False = s
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
((unless :: Monad a => Bool -> a () -> a ()) :: Monad a => Bool -> a () -> a ()) |
import qualified Monad import qualified Prelude |
import qualified Maybe import qualified Prelude |
|||||||||
unless :: Monad a => Bool -> a () -> a ()
|
|||||||||
|
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((unless :: Monad a => Bool -> a () -> a ()) :: Monad a => Bool -> a () -> a ()) |
import qualified Maybe import qualified Prelude |
|||||||||
unless :: Monad a => Bool -> a () -> a ()
|
|||||||||
|
import qualified Monad import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
(unless :: Monad a => Bool -> a () -> a ()) |
import qualified Monad import qualified Prelude |
import qualified Maybe import qualified Prelude |
|||||||||
unless :: Monad a => Bool -> a () -> a ()
|
|||||||||
|